const A : Int = B + 1
const B : Int = A + 1

fnalias f = g
fnalias g = f

typealias T1 as T2
typealias T2 as T1

traitalias I1 as I2
traitalias I2 as I1